using TestClassesForConcepts.Sample3;

concept C1[T, S] 
{
    type A1;
    type A2 >: SE1<A1, KeyS>;
    type A3 == A2;
    //require A1 <: A2;
    require A3 <: SG1<A1>;
}
